Computer arithmetic

Results: 1849



#Item
491Software engineering / Mathematical logic / Recursion / Theoretical computer science / Generative linguistics / Algorithm / Infinity / Infinite loop / Noam Chomsky / Computer programming / Programming idioms / Computing

The redundancy of recursion and infinity for natural language and arithmetic processing 1 Erkki Luuk and Hendrik Luuk 2

Add to Reading List

Source URL: www.hrelp.org

Language: English - Date: 2012-01-05 21:19:02
492Computability theory / Analysis of algorithms / Descriptive complexity / Kolmogorov complexity / Bounded-error probabilistic polynomial / FO / PP / IP / Time complexity / Theoretical computer science / Computational complexity theory / Applied mathematics

Kolmogorov Complexity, Circuits, and the Strength of Formal Theories of Arithmetic

Add to Reading List

Source URL: cjtcs.cs.uchicago.edu

Language: English - Date: 2013-04-27 00:54:51
493Procedural programming languages / Computer arithmetic / FITS / Floating point / C / SQL / MAD / Parameter / IEEE 754-2008 / Computing / Software engineering / Computer programming

c ESO 2009 Astronomy & Astrophysics manuscript no. WCSPaperV0.73 September 28, 2009

Add to Reading List

Source URL: hea-www.cfa.harvard.edu

Language: English - Date: 2011-10-14 10:13:51
494Embedded systems / Primitive types / Computer architecture / Numbers / Benchmark / EEMBC / Coremark / Floating point / Fixed-point arithmetic / Computer arithmetic / Computing / Data types

EEMBC® FPMARK™ THE EMBEDDED INDUSTRY’S FIRST STANDARDIZED FLOATING-POINT BENCHMARK SUITE Supporting Both Single- and Double-Precision Floating-Point Performance

Add to Reading List

Source URL: www.eembc.org

Language: English - Date: 2013-09-25 13:06:02
495Computer science / Philosophy of mathematics / Orbifold / Ordinal arithmetic / Symbol / Curry–Howard correspondence / Mathematics

On Typability for Rank-2 Intersection Types with Polymorphic Recursion ∗ Tachio Terauchi EECS Department University of California, Berkeley Abstract

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2006-05-22 01:29:30
496Mathematics / X86 instruction listings / Floating point / Unit in the last place / Lookup table / Rounding / Error function / Markov chain Monte Carlo / Mathematical optimization / Statistics / Computer arithmetic / Computing

Stochastic Optimization of Floating-Point Programs with Tunable Precision Eric Schkufza Rahul Sharma

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2014-03-20 01:19:50
497Numbers / Computing / Mathematics / Single-precision floating-point format / Floating point / IEEE 754-2008 / Binary numeral system / Significand / Hexadecimal / Computer arithmetic / Data types / Binary arithmetic

Imperial College London Department of Computing Computer Systems (M2) / Architecture Tutorial 3 – Floating Point Numbers 1)

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2009-11-06 04:44:01
498Software engineering / Computer memory / X86 instructions / C++ / Computer arithmetic / C++11 / Memory barrier / Lock / INT / Computing / Computer architecture / Concurrency control

Atomics in C++0x Atomics in C++0x Atomics in C++0x

Add to Reading List

Source URL: accu.org

Language: English - Date: 2010-06-05 04:56:06
499Software engineering / Computer arithmetic / C++ / Cross-platform software / C99 / Dinkumware / C standard library / Floating point / C dynamic memory allocation / Computing / Computer programming / C programming language

MINUTES FOR APRIL 2007 MEETING OF ISO/JTC1/SC22/WG14 AND INCITS J11 WG14/N1267 Meeting Location: Monday, Wednesday, Thursday April 23, 25, & 26:

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2007-11-10 16:14:55
500Procedural programming languages / Computer arithmetic / FITS / Floating point / SQL / C / MAD / Keyword / IEEE 754-2008 / Computing / Software engineering / Computer programming

c ESO 2009 Astronomy & Astrophysics manuscript no. WCSPaperV0.71 April 2, 2009

Add to Reading List

Source URL: hea-www.cfa.harvard.edu

Language: English - Date: 2011-10-14 10:13:51
UPDATE